bitkeeper revision 1.1159.1.347 (4188db339oFjUH_ChIJw_1kGraz4Sw)

minor nightly build script fix

diff --git a/BitKeeper/etc/ignore b/BitKeeper/etc/ignore
index 46edd6f62d80c67ec58349a8414540f32944d36b..a7f0698899fe89c74fe9d6eae160afff924e31d9 100644 (file)
--- a/BitKeeper/etc/ignore
+++ b/BitKeeper/etc/ignore
@@ -46,9 +46,11 @@ dist/*
 linux-*-xen0/*
 linux-*-xenU/*
 linux-xen-sparse
+linux-*.patch
 netbsd-*-tools/*
 netbsd-*-xen0/*
 netbsd-*-xenU/*
+netbsd-*.patch
 patches/*
 pristine-*
 tools/*/build/lib*/*.py

diff --git a/tools/misc/xen-clone b/tools/misc/xen-clone
index d670347eb5ada6c1322382d25a0e3241264e9bbb..3fac8109f1ebbc3a51f7b97a8eb28658eb67f727 100755 (executable)
--- a/tools/misc/xen-clone
+++ b/tools/misc/xen-clone
@@ -38,8 +38,6 @@ TOP=`/bin/pwd`
 case "$SITE" in
 UCCL)
        PATH=$PATH:/usr/groups/xeno/build_tools/bin
-       mkdir ${DEST_VER}-install
-       ln -s ${DEST_VER}-install install
        mkdir -p install/boot
        cd install/boot
        ln -sf ../../../xeno-roots/roots .
@@ -83,7 +81,6 @@ then
 
  make -j4 world
  make -j4 linux24
- make -j4 dist
  cd ../install/boot
  [ -r vmlinuz-2.6.*-xen0 ] && ln -s vmlinuz-2.6.*-xen0 xenolinux.gz